contrary propositions

相反命题,逆命题